set of residue classes modulo 3 is an abelian group